Digital Library

Search: "[ keyword: IMU ]" (116)
    Improvement of Altitude Measurement Algorithm Based on Accelerometer for Holding Drone’s Altitude
    Deok Yeop Kim, Bo Ram Yun, Sunghee Lee, Woo Jin Lee KIPS Transactions on Software and Data Engineering, Vol. 6, No. 10, pp. 473-478, Oct. 2017
    10.3745/KTSDE.2017.6.10.473
    Keywords: Drone, Altitude Measurement, Altitude Holding, Accelerometer, IMU


    Test Case Generation For Simulink/Stateflow Model Using Yices and Model Information
    Han Gon Park, Kihyun Chung, Kyunghee Choi KIPS Transactions on Software and Data Engineering, Vol. 6, No. 6, pp. 293-302, Jun. 2017
    10.3745/KTSDE.2017.6.6.293
    Keywords: test case generation, Simulink/Stateflow, Model Based Test, Yices


    Test Case Generation for Simulink/Stateflow Model Based on a Modified Rapidly Exploring Random Tree Algorithm
    Han Gon Park, Ki Hyun Chung, Kyung Hee Choi KIPS Transactions on Software and Data Engineering, Vol. 5, No. 12, pp. 653-662, Dec. 2016
    10.3745/KTSDE.2016.5.12.653
    Keywords: test case generation, Simulink/Stateflow, ECU


    Development of a Simulation Prediction System Using Statistical Machine Learning Techniques
    Ki Yong Lee, YoonJae Shin, YeonJeong Choe, SeonJeong Kim, Young-Kyoon Suh, Jeong Hwan Sa, JongSuk Luth Lee, Kum Won Cho KIPS Transactions on Software and Data Engineering, Vol. 5, No. 11, pp. 593-606, Nov. 2016
    10.3745/KTSDE.2016.5.11.593
    Keywords: Simulation, Simulation Result Prediction, Statistical Machine Learning


    Decentralized LTL Specifications for Ensuring Quality of Interaction-centralized System
    Ryoung Kwo Kwon , Gi Hwon Kwon KIPS Transactions on Software and Data Engineering, Vol. 3, No. 5, pp. 169-178, May. 2014
    10.3745/KTSDE.2014.3.5.169


    Study for the Maximum Bipartite Subgraph Problem Using GRASP + Tabu Search
    Keun Hee Han , Chan Soo Kim KIPS Transactions on Software and Data Engineering, Vol. 3, No. 3, pp. 119-124, Mar. 2014
    10.3745/KTSDE.2014.3.3.119


    Generating Test Cases of Simulink/Stateflow Model Based on RRT Algorithm Using Heuristic Input Analysis
    Hyeon Sang Park , Kyung Hee Choi , Ki Hyun Chung KIPS Transactions on Software and Data Engineering, Vol. 2, No. 12, pp. 829-840, Dec. 2013
    10.3745/KTSDE.2013.2.12.829


    Solving the Haplotype Assembly Problem for Human Using the Improved Branch and Bound Algorithm
    Mun Ho Choi , Seung Ho Kang , Hyeong Seok Lim KIPS Transactions on Software and Data Engineering, Vol. 2, No. 10, pp. 697-704, Oct. 2013
    10.3745/KTSDE.2013.2.10.697


    Test-case Generation for Simulink/Stateflow Model using a Sparated RRT Space
    Hyeon Sang Park , Kyung Hee Choi KIPS Transactions on Software and Data Engineering, Vol. 2, No. 7, pp. 471-478, Jul. 2013
    10.3745/KTSDE.2013.2.7.471


    Simulation Method based on Design Checkpoint for Efficient Debugging
    Kyu Ho Shim , Nam Do Kim , In Hag Park , Byeong Eon , Sei Yang Yang The KIPS Transactions:PartA, Vol. 19, No. 3, pp. 113-120, Jun. 2012
    10.3745/KIPSTA.2012.19.3.113


Forms



Category Search

Publications


Old Journals


Indexing


All publications of KTSDE is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

KTSDE is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Organization


Related Journals